доупорядочиваемый

adj.

preorderable (algebra)

доупорядочиваемая группа — O*-group